Labelled propositional modal logics: theory and practice
نویسندگان
چکیده
منابع مشابه
Labelled Propositional Modal Logics: Theory and Practice
We show how labelled deductive systems can be combined with a logical framework to provide a natural deduction implementation of a large and well-known class of propositional modal logics (including K, D, T, B, S4, S4:2, KD45, S5). Our approach is modular and based on a separation between a base logic and a labelling algebra, which interact through a xed interface. While the base logic stays xe...
متن کاملLabelled Propositional Modal Logics :
We show how labelled deductive systems can be combined with a logical framework to provide a natural deduction implementation of a large and well-known class of propositional modal logics (including K, D, T, B, S4, S4:2, KD45, S5). Our approach is modular and based on a separation between a base logic and a labelling algebra, which interact through a xed interface. While the base logic stays xe...
متن کاملLabelled Modal Logics: Quantifiers
In previous work we gave an approach, based on labelled natural deduction, for formalizing proof systems for a large class of propo-sitional modal logics that includes K, D, T, B, S4, S4:2, KD45, and S5. Here we extend this approach to quantiied modal logics, providing for-malizations for logics with varying, increasing, decreasing, or constant domains. The result is modular with respect to bot...
متن کاملModal Logics Between Propositional and First-order
One can add the machinery of relation symbols and terms to a propositional modal logic without adding quantifiers. Ordinarily this is no extension beyond the propositional. But if terms are allowed to be non-rigid, a scoping mechanism (usually written using lambda abstraction) must also be introduced to avoid ambiguity. Since quantifiers are not present, this is not really a first-order logic, ...
متن کاملLabelled Tableaux for Non-normal Modal Logics
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 1997
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/7.6.685